101. CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
267
.
C5927
1990
102. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
103. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
104. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
105. Complexity of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
رده :
QA
267
.
C58
106. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
107. Computation theory : Fifth Symposium, Zaborow, Poland, December 3-8, 1984: Proceedings
پدیدآورنده : edited by Andrzej Skowron
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
208
108. Computation theory : fifth symposium, Zaborow, Poland, December 3-8, 1984 : proceedings
پدیدآورنده : edited by Andrzej Skowron
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
208
109. Computational learning theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational learning theory ; Congresses ; Machine learning ; Mathematical models ; Congresses ;
110. Computational learning theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational learning theory ; Congresses ; Machine learning ; Mathematical models ; Congresses ;
111. Computational learning theory
پدیدآورنده : Paul Fischer, Hans Ulrich Simon (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational learning theory, Congresses.,Machine learning-- Mathematical models, Congresses.
112. Computational learning theory : 4th European Conference, EuroCOLT'99, Nordkirchen, Germany, March 29-31, 1999 : proceedings
پدیدآورنده : Paul Fischer, Hans Ulrich Simon )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational learning theory,Mathematical models -- Congresses ، Machine learning
رده :
QA
76
.
L28
Vol
.
1572
113. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
114. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
115. Disordered systems and biological organization
پدیدآورنده : edited by E. Bienenstock, F. Fogelman Soulie, G. Weisbuch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Biological systems,Congresses ، Order-disorder models,Congresses ، Machine theory,Congresses ، Combinatorial optimization
رده :
QH
313
.
N38
1985
116. Fachtagung uber Automatentheorie und Formale Sprachen
پدیدآورنده : Gesellschaft fur Informatik
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
G47a
117. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده : J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
118. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
119. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده : Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
120. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
